x86: allow EFI reboot method neither on non-EFI platforms...
authorDaniel Kiper <daniel.kiper@oracle.com>
Wed, 7 Dec 2016 13:37:11 +0000 (14:37 +0100)
committerJan Beulich <jbeulich@suse.com>
Wed, 7 Dec 2016 13:37:11 +0000 (14:37 +0100)
commita31dc93b20bd7e351921c58fd07b3b16e2c8e83e
treeb19fa09cdcfe29a28f6247a5d641582c09403cec
parent146786b922ea4eeb9643029af3939244aea009c1
x86: allow EFI reboot method neither on non-EFI platforms...

... nor EFI platforms with runtime services enabled.

Suggested-by: Jan Beulich <jbeulich@suse.com>
Signed-off-by: Daniel Kiper <daniel.kiper@oracle.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/shutdown.c